tabshift/hotscript
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Gabriel Vergnaud
2023-02-12 20:49:53 +01:00
committed by GitHub
parent f75d2b0105
commit 4057342c39
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -1,4 +1,4 @@
# HOT (Higher Order Types) Script!
# HOTScript!
Type-level madness.