]> Git — Sourcephile - tmp/julm/symantic.git/commit
sourcephile / git / tmp / julm / symantic.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe064dc) | patch
init
authorJulien Moutinho <julm@sourcephile.fr>
Sat, 5 Aug 2023 11:48:46 +0000 (13:48 +0200)
committerJulien Moutinho <julm@sourcephile.fr>
Sat, 5 Aug 2023 11:48:46 +0000 (13:48 +0200)
commitf33e08d27702bae9339fe99905e44e6607192e27
tree1afeb4e09f55698b2f20a6e067cc47eb775cb3b9tree | snapshot
parentfe064dcf1d8d201486feda732d890fa13e66af5ccommit | diff
init
17 files changed:
.gitignore [new file with mode: 0644] blob
.reuse/dep5 diff | blob | history
flake.nix diff | blob | history
src/ForallSem.hs [deleted file] blob | history
src/Symantic/Compiler.hs [new file with mode: 0644] blob
src/Symantic/Compiler/Term.hs [new file with mode: 0644] blob
src/Symantic/Parser.hs [new file with mode: 0644] blob
src/Symantic/Parser/Error.hs [new file with mode: 0644] blob
src/Symantic/Parser/Source.hs [new file with mode: 0644] blob
src/Symantic/Printer.hs [new file with mode: 0644] blob
src/Symantic/Syntaxes.hs [new file with mode: 0644] blob
src/Symantic/Typer.hs [new file with mode: 0644] blob
src/Symantic/Typer/Eq.hs [new file with mode: 0644] blob
src/Symantic/Typer/List.hs [new file with mode: 0644] blob
src/Symantic/Typer/Type.hs [new file with mode: 0644] blob
src/Symantic/Typer/Unify.hs [new file with mode: 0644] blob
symantic.cabal diff | blob | history