Higher-order unification library for JVM

Actualizado hai 2 meses

Game Theory lemmas

Actualizado hai 3 meses

Actualizado hai 1 ano

Actualizado hai 1 ano

Czy da się być elfem w 1/13

Actualizado %!s(int64=2) %!d(string=hai) anos

Dowód, że każdy skończony ciąg liczb wymiernych da się zakodować jedną liczbą naturalną

Actualizado %!s(int64=2) %!d(string=hai) anos

Rozwiązanie i dowód formalny poprawności rozwiązania zagadki o więźniach

Actualizado %!s(int64=2) %!d(string=hai) anos

https://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/lec26-type-inference/type-inference.htm w Hakelu, dla zabawy

Actualizado %!s(int64=3) %!d(string=hai) anos

Bawię się Ocamlem. Na razie parsowanie s-wyrażeń z miejscami w kodzie źródłowym i wsparciem na utf8 bez zewnętrznych bibliotek, może jak nie zapomnę o tym to jakąś teoryjkę typów sieknę, na razie idę spać dobranoc

Actualizado %!s(int64=4) %!d(string=hai) anos

Praca magisterska "Konstruktywne podejście do algebry na przykładzie teorii ciał w programowaniu funkcyjnym z typami zależnymi"

Actualizado %!s(int64=5) %!d(string=hai) anos

http://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/lec26-type-inference/type-inference.htm w Ruście dla zabawy

Actualizado %!s(int64=5) %!d(string=hai) anos

Sprawdzacz dowodów w teori Typów Per Martin-Löf 'a

Actualizado %!s(int64=5) %!d(string=hai) anos