Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
Arets Paeglis
Arets Paeglis has asked
22
questions and find answers to
8
problems.
Stats
204
EtPoint
16
Vote count
22
questions
8
answers
About
Computational neuroscientist, aspiring rationalist, founder of the Latvian Transhumanist Association
Arets Paeglis questions
Multiple typed variables in one line in Julia
SPARK instantiation error w.r.t. volatile type
Custom prover tactics in Idris
Exporting all symbols in Julia
Isomorphism lenses
Postulates in Idris
Declaring main function/entry point in Julia
Converting Coq to Idris
Type-casting arrays/vectors in Rust
Practical examples of Idris
Arets Paeglis answers
How to create a hash table in ATS?
How to create a queue in ATS?
How to compute the square root of a number in ATS?
What is the difference between case, case+ and case- in ATS?
How can I easily write simple tactics at the ML level of Isabelle?
Menu
