Skip to content

Instantly share code, notes, and snippets.

View jorge-jbs's full-sized avatar
🐢
Type checking...

Jorge Blázquez Saborido jorge-jbs

🐢
Type checking...
View GitHub Profile
[84 of 84] Compiling MAlonzo.Code.ST ( /home/jorge/Documentos/Proyectos/agda-c/MAlonzo/Code/ST.hs, /home/jorge/Documentos/Proyectos/agda-c/MAlonzo/Code/ST.o )
Compilation error:
/home/jorge/Documentos/Proyectos/agda-c/MAlonzo/Code/ST.hs:33:11: error:
• Cannot instantiate unification variable ‘a0’
with a type involving foralls:
() -> (forall xs. () -> T2 xs xA0) -> xA0
GHC doesn't yet support impredicative polymorphism
• In the first argument of ‘coe’, namely ‘d8’
In the expression: coe d8 erased (\ v0 -> coe du18)
2018-03-02T22:01:26.661177761+01:00 TRACE xrl::protocol::codec - >>> {"id":1,"method":"new_view","params":{"file_path":"src/main.rs"}}
2018-03-02T22:01:26.661193235+01:00 TRACE xrl::protocol::codec - >>> {"method":"client_started","params":{"config_dir":"/home/jorge/.config/xi/"}}
2018-03-02T22:01:26.661198763+01:00 TRACE xrl::protocol::codec - >>> {"method":"set_theme","params":{"theme_name":"base16-eighties.dark"}}
2018-03-02T22:01:26.662785070+01:00 TRACE xrl::protocol::codec - <<< {"id":1,"result":"view-id-1"}
2018-03-02T22:01:26.662923285+01:00 TRACE xrl::protocol::codec - >>> {"method":"edit","params":{"method":"scroll","params":[0,0],"view_id":"view-id-1"}}
2018-03-02T22:01:26.662956814+01:00 TRACE xrl::protocol::codec - <<< {"method":"available_themes","params":{"themes":["InspiredGitHub","Solarized (dark)","Solarized (light)","base16-eighties.dark","base16-mocha.dark","base16-ocean.dark","base16-ocean.light"]}}
2018-03-02T22:01:26.663222086+01:00 TRACE xrl::protocol::codec - <<< {"method":"theme_chan
[package]
name = "tmprs"
version = "0.1.0"
[dependencies]
@jorge-jbs
jorge-jbs / cat.go
Created October 13, 2016 20:39
Some unix commands for file management written in Go.
package main
import (
"fmt"
"os"
)
func readFile(path string) (string, error) {
file, err := os.Open(path)
if err != nil {
@jorge-jbs
jorge-jbs / getimg.py
Last active March 18, 2016 21:51 — forked from stchris/getimg.py
Improved version of getimg.sh - gets the 'image of the day' from NASA, writes the summary onto the image and sets it as the Gnome wallpaper.
#!/usr/bin/env python
"""
getimg.py
Gets the current image of the day from NASA and sets it as the
background in Gnome. The summary / description text is written
to the image.
Requires:
PIL (apt-get install python-imaging or pip install PIL)