aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/database.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Local binding names for (co|indexed-)?monads are now explicitly set.Eduardo Julian2020-05-171-0/+1
* Minor adjustments.Eduardo Julian2019-11-181-0/+6
* WIP: Major refactoring of JVM bytecode machinery.Eduardo Julian2019-11-071-0/+4
* Fixed some bugs related to JVM types.Eduardo Julian2019-09-171-3/+3
* Got rid of a useless parameter to the INVOKE instructions.Eduardo Julian2019-09-071-0/+1
* Ported JVM reference generation to the new JVM bytecode machinery.Eduardo Julian2019-07-311-3/+3
* Removed the TCP & UDP code for the moment.Eduardo Julian2019-06-201-0/+1
* Implemented "hole" typing.Eduardo Julian2019-06-181-0/+5
* Removed the (magical) "alias" annotations tag.Eduardo Julian2019-06-011-0/+1
* Removed the (magical) "export?" annotations tag.Eduardo Julian2019-05-241-0/+1
* Moved my research notes from Trello to the repo:Eduardo Julian2019-05-191-0/+1
* Moved my research notes from Trello to the repo.Eduardo Julian2019-05-181-0/+5
* Forgot to actually compile the methods. Now doing so.Eduardo Julian2019-05-171-3/+2
* Some type casting/coercion automation.Eduardo Julian2019-05-161-0/+1
* Moved my research notes on databases from Trello to the repo.Eduardo Julian2019-05-111-0/+441
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 23:47:42 +0000