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
20
questions and find answers to
3
problems.
Stats
135
EtPoint
9
Vote count
20
questions
3
answers
About
Computational neuroscientist, aspiring rationalist, founder of the Latvian Transhumanist Association
Arets Paeglis questions
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
Named breaks in for loops in Rust
Arets Paeglis answers
How can I easily write simple tactics at the ML level of Isabelle?
Menu
