valhallac
Compiler for set-theoretic programming language.
git clone
git://git.knutsen.co/valhallac
Log
|
Files
|
Refs
|
README
|
LICENSE
set_comp.vh (47B)
1
2
Fizz
<:
Nat
Fizz
=
[
n
:
Nat
=>
n
mod
3
is
0
]
