thufschmitt/tix-papers
1
1
Fork 0
mirror of https://github.com/thufschmitt/tix-papers.git synced 2024-08-16 16:20:47 +03:00
Code Issues Projects Releases Wiki Activity
105 Commits 8 Branches 0 Tags 1.2 MiB
master
Commit Graph

105 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
regnat
ddb8d5051a Write definition of pattern substitution 2017-03-29 10:36:55 +02:00
regnat
b7e3fb43b7 Add first draft for semantics 2017-03-28 17:39:08 +02:00
regnat
5d112c30e0 Add simplified grammar definition 2017-03-28 15:17:54 +02:00
regnat
f2de300184 Add .gitignore 2017-03-28 15:17:37 +02:00
regnat
5daee3ced3 Add default.nix 2017-03-28 15:14:06 +02:00