compiler/menu at master · helvm/compiler · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
index,Compilers
socrates,Socrates
lambda,Ultimate Lambda
scott,Scott Encoding
ION,ION Machine
asm,ION Assembly
quest,Compiler Quest
sing,The Singularity
sem,Semantically
grind,Level Grinding
golf,SKI Golf
ioccc,IOCCC
type,Types
c,Let me C
pattern,Patterns | Guards
miranda,Miranda
mvp,Minimum Viable
module,Modules
web,WebCompiler
eq,Equality
para,Parametricity
logic,Logic Programming
differ,Differential
atp,Automated Proving
fol,First-order Logic
hilsys,Hilbert Systems
Hol,HOL Light
HolPro,HOL Proof Tactics
\
\''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''
\
\- link:../haskell[Haskell Notes]
\- link:../lambda[Lambda Calculus]
\- link:../[Ben Lynn]