aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/database.md (follow)
Commit message (Collapse)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
| | | It needs to be re-designed with a multi-platform focus in mind.
* 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
| | | | | | + Debugging + Distributed programming + Web frameworks + Native compilation
* Moved my research notes from Trello to the repo.Eduardo Julian2019-05-181-0/+5
| | | | * On math. * On operating systems.
* 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